protocol CreditCheck (role Client) {
    Client introduces CreditAgency;

    CheckCredit from Client to CreditAgency;

    choice at CreditAgency {
        CreditOk from CreditAgency to Client;
    } or {
        NoCredit from CreditAgency to Client;
    }
}